//#define _CRT_SECURE_NO_WARNINGS 1
//
//#include<stdio.h>
//
//int main()
//{
//	int n = 0,i;
//	long time = 0;
//	scanf("%d", &n);
//	for (i = n; i > 12; i -= 12)
//		time += 4;
//	time += 2;
//	printf("%ld", time);
//	return 0;
//}